Lending Petri nets

Lending Petri nets

Lending Petri Nets and Contracts

Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, each service respects his role. Honest services are not protected against adversaries. We propose a model for contracts based on an extension of Petri nets, which allows services to protect themselves while still realiz...

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

Petri nets

P e t r i n e t s of fer a v e r s a t i l e m o d e l i n g f r a m e w o r k for c o m p l e x , d i s t r i b u t e d , c o n c u r r e n t s y s t e m s a n d h a v e b e e n u s e d in a w i d e r a n g e o f m o d e l i n g a p p l i c a t i o n s . T h e f i r s t p a r t o f t h i s t w o p a r t a r t i c l e p r o v i d e s a n o v e r v i e w o f P e t r i n e t s a n d p r e s e n t...

Petri Nets

Petri nets were introduced in 1962 by Dr. Carl Adam Petri (Petri 1962). Petri nets are a powerful modeling formalism in computer science, system engineering and many other disciplines. Petri nets combine a well defined mathematical theory with a graphical representation of the dynamic behavior of systems. The theoretic aspect of Petri nets allow precise modeling and analysis of system behavior,...